تعداد ۲۴۹ پاسخ غیر تکراری از ۲۵۶ پاسخ تکراری در مدت زمان ۸,۴۲ ثانیه یافت شد.

1. ......................

پدیدآورنده : Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(

رده :

QA

76

.

76

.

D47

I57

1985

vol

.

1

2. AI approaches to the complexity of legal systems :

پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.

رده :

K213

3. Advanced concepts for intelligent vision systems :

پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.

رده :

TA1634

4. Advances in algebra and analysis :

پدیدآورنده : V. Madhu, A. Manimaran, D. Easwaramoorthy, D. Kalpanapriya, M. Mubashir Unnissa, editors.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra, Congresses.,Mathematical analysis, Congresses.,Algebra.,Analysis.,Operations Research, Management Science.,Statistical Theory and Methods.,Algebra.,Mathematical analysis.

رده :

QA150

5. Advances in bioinformatics and computational biology :

پدیدآورنده : Ronnie Alves (ed.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.

رده :

QH324

.

2

6. Advances in evolutionary and deterministic methods for design, optimization and control in engineering and sciences /

پدیدآورنده : Edmondo Minisci, Massimiliano Vasile, Jacques Periaux, Nicolas R. Gauger, Kyriakos C. Giannakoglou, Domenico Quagliarella, editors.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Engineering design-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Engineering design-- Mathematical models.,Mathematical optimization.,Mathematics-- Counting & Numeration.,Numerical analysis.,Technical design.,Technology & Engineering-- Industrial Design-- Product.

رده :

QA402

.

5

7. Advances in nonlinear programming: proceedings of the 96 International Conference on Nonlinear Programming

پدیدآورنده : edited by Ya-Xiang Yuan

کتابخانه: (طهران)

موضوع : Nonlinear programming - Congresses

رده :

T

57

.

8

.

I58

1996

8. Algebra and Coalgebra in Computer Science :

پدیدآورنده : José Luis Fiadeiro

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.

9. Algebra and coalgebra in computer science :

پدیدآورنده : Reiko Heckel, Stefan Milius (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra, Congresses,Computer science-- Mathematics, Congresses

رده :

QA76

.

9

.

M35

10. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures

پدیدآورنده : Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra

رده :

QA

76

.

L28

Vol

.

2297

11. Algebraic and geometric methods in discrete mathematics

پدیدآورنده : \ Heather A. Harrington, Mohamed Omar, Matthew Wright, editors.

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Mathematics, Congresses.,Geometry, Algebraic, Congresses.,General -- Conference proceedings and collections of papers -- Proceedings of conferences of general interest.,ریاضیات -- کنگره‌ها,حساب هندسی -- کنگره‌ها

رده :

QA39

.

3

.

A53

2017

E-book

,

12. Algorithmic aspects in information and management :

پدیدآورنده : Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.

رده :

QA76

.

9

.

A43

13. Algorithms and complexity : new directions and recent results

پدیدآورنده : edited by J. F. Traub

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics

رده :

QA

76

.

6

.

S98

1976

14. Algorithms and complexity; new directions and recent results; proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Eletronic digital computers-- Programming-- Congresses,، Computational complexity-- Congresses,، Mathematics-- Data processing-- Congresses

رده :

QA

76

.

6

.

S9195

15. Algorithms and complexity ; new directions and recet results

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses

رده :

QA

76

.

6

.

S9195

1976

16. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(

پدیدآورنده : edited by J. F. Traub

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing

رده :

QA

76

.

6

.

S919

1976

17. Algorithms and model formulations in mathematical programming

پدیدآورنده : edited by Stein W. Wallace

کتابخانه: (طهران)

موضوع : Congresses ، Programming )Mathematics(,Congresses ، Mathematical models

رده :

T

57

.

7

.

N36

1987

18. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979

پدیدآورنده : edited by A.P. Ershov and D.E. Knuth

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Computer algorithms,Congresses ، Programming )Electronic computers(

رده :

QA

76

.

L4

v

.

122

19. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer algorithms-- Congresses,، Programming )Electronic computers(-- Congresses

رده :

QA

9

.

58

.

A43

1981

20. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979

پدیدآورنده : edited by A.P. Ershov and D.E. Knuth

کتابخانه: (طهران)

موضوع : Congresses ، Algorithms,Congresses ، Computer programming

رده :

QA

76

.

L28

Vol

.

122

»
13
12
11
10
9
...
5
4
3
2
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها